Seminar Model Checking
SE 2 SS 2005 LVA 703622
Description
The aim of this seminar is the study of model checking algorithms. More precisely, we will focus on logics, such as LTL, CTL and μ-calculus. For these logics, we will study the semantics and both sequential and distributed algorithms for verifying properties in those logics.